1. Artificial intelligence techniques :
Author: Alan Bundy, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Data processing.,Künstliche Intelligenz,Programm
Classification :
Q336
.
A436
1997
2. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings
Author: Alan Bundy )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
814
3. Catalogue of artificial intelligence techniques
Author: Alan Bundy )ed.(
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Artificial intelligence - Data processing
Classification :
Q
.
B86
336
1990
4. Catalogue of artificial intelligence techniques
Author: Alan Bundy )ed(; asistant editor, Alan Smaill
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing ، Artificial intelligence
Classification :
Q
336
.
C28
1990
